On Refinements of Boolean and Parametric Modal Transition Systems
نویسندگان
چکیده
We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of MTS providing better complexity then via reductions to previously studied problems. Finally, we investigate the relationship between modal and thorough refinement on the two classes and show how the thorough refinement can be approximated by the modal refinement.
منابع مشابه
Comparison of parametric and fuzzy analytic hierarchy process in land evaluation (Case study: Varamin region)
In last decades, the skillful planning of land resources has become a major issue for rural development. The development of cultivated areas becomes gradually impossible due to ever increasing population growth and urban development. Fuzzy logic is preferred to Boolean logic for land evaluation, because fuzzy techniques lead to estimate for land use suitability on a continuous scale and can the...
متن کاملParametric and Quantitative Extensions of Modal Transition Systems
Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.
متن کاملModal Logic of Transition Systems in the Topos of Trees
We investigate the adjunction between the category of tran-sition systems (with not nec. bounded morphisms) and the topos of treesS from the perspective of the basic modal logic K on transition systems.More specifically, we show how the modal logic K over an object of Sseen as a transition system can be lifted back as a subobject of S . Thisrelies on the usual mutually trans...
متن کاملParametric Modal Transition Systems
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called pa...
متن کاملOn Modal Refinement and Consistency
Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the standard modal refinement using a counterexample due to Hüttel. Deciding any refinement, complete with respect to the standard notions of implementation, is shown to be computationally hard (co-NP hard). Second, we consider four ...
متن کامل